Issue1944-checkHidden.agda:18,39-40
B !=< A of type Set
when checking that the expression b has type A
